翻訳と辞書 Words near each other ・ Geometry ・ Geometry & Topology ・ Geometry (disambiguation) ・ Geometry (Ivo Perelman album) ・ Geometry (Jega album) ・ Geometry (Robert Rich album) ・ Geometry and topology ・ Geometry Dash ・ Geometry Expert ・ Geometry Festival ・ Geometry from the Land of the Incas ・ Geometry index ・ Geometry instancing ・ Geometry of binary search trees ・ Geometry of Fear ・ Geometry of interaction ・ Geometry of Love ・ Geometry of numbers ・ Geometry of roots of real polynomials ・ Geometry pipelines ・ Geometry prize ・ Geometry processing ・ Geometry Wars ・ Geomicrobiology ・ Geomipmapping ・ Geomitra ・ Geomitra delphinuloides ・ Geomitra grabhami ・ Geomitra moniziana ・ Geomitra tiarella Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Geometry of interaction ： ウィキペディア英語版 Geometry of interaction The Geometry of Interaction (GoI) was introduced by Jean-Yves Girard shortly after his work on Linear logic. In linear logic, proofs can be seen as various kinds of networks as opposed to the flat tree structures of sequent calculus. To distinguish the real proof nets from all the possible networks, Girard devised a criterium involving trips in the network. Trips can in fact be seen as some kind of operator acting on the proof. Drawing from this observation, Girard described directly this operator from the proof and has given a formula, the so-called ''execution formula'', encoding the process of cut elimination at the level of operators. One of the first significant applications of GoI was a better analysis of Lamping's algorithm for optimal reduction for the lambda calculus. GoI had a strong influence on game semantics for linear logic and PCF. GoI has been applied to deep compiler optimisation for lambda calculi. A bounded version of GoI dubbed the Geometry of Synthesis has been used to compile higher-order programming languages directly into static circuits.〔Dan R. Ghica. Function Interface Models for Hardware Compilation. MEMOCODE 2011. ()〕 ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Geometry of interaction」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.